منابع مشابه
Connection method
The connection method (CM) provides a general framework for automated deduction. It differs from similar deductive frameworks, (such as resolution or tableaux), through its unique feature of establishing the truth of a statement by a thorough analysis of the syntactic structure of the statement, without cost-intensive search for some derivation in the traditional sense of logic. It may thus be ...
متن کاملAn ALC Description Logic Connection Method
The connection method earned good reputation in the field of automated theorem proving for around three decades, due to its simplicity, clarity, efficiency and parsimonious use of memory. This seems to be a very appealing feature, in particular in the context of Semantic Web, where it is assumed that the knowledge bases might be of arbitrary size. In this paper, I present a connection method es...
متن کاملOn the Adequateness of the Connection Method
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not adequate as they require thousands of steps to solve problems which humans solve effortlessly, spontaneously, and with remarkable efficiency. L. Shastri and V. Ajjanagadde who call this gap the artificial intelligence pa...
متن کاملNovel Method for Neuronal Nanosurgical Connection
Neuronal injury may cause an irreversible damage to cellular, organ and organism function. While preventing neural injury is ideal, it is not always possible. There are multiple etiologies for neuronal injury including trauma, infection, inflammation, immune mediated disorders, toxins and hereditary conditions. We describe a novel laser application, utilizing femtosecond laser pulses, in order ...
متن کاملA Connection Based Proof Method for Intuitionistic Logic
P. Baumgartner, R. Hähnle & J. Posegga, ed., 4 International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 95), LNAI 918, pp. 122–137, c ©Springer Verlag, 1995 Abstract. We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search technique is ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scholarpedia
سال: 2009
ISSN: 1941-6016
DOI: 10.4249/scholarpedia.6816